Skip to content

Conversation

@hahnjo
Copy link
Member

@hahnjo hahnjo commented Oct 9, 2025

More discussions will be necessary to figure out if and how we want to support user-defined weights.

@hahnjo hahnjo self-assigned this Oct 9, 2025
@hahnjo hahnjo requested a review from bellenot as a code owner October 9, 2025 08:29
@github-actions
Copy link

github-actions bot commented Oct 9, 2025

Test Results

    19 files      19 suites   3d 10h 1m 8s ⏱️
 3 692 tests  3 692 ✅ 0 💤 0 ❌
68 434 runs  68 434 ✅ 0 💤 0 ❌

Results for commit 7121f86.

@hahnjo
Copy link
Member Author

hahnjo commented Oct 20, 2025

ping

Copy link
Member

@pcanal pcanal left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM.

@hahnjo hahnjo merged commit 01185f0 into root-project:master Oct 23, 2025
25 of 28 checks passed
@hahnjo hahnjo deleted the hist-user branch October 23, 2025 06:55
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants